From ed2bbc9678a46d862027f51a63bc865b28bbc0ea Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Sun, 1 Mar 2020 12:15:27 +0000
Subject: [PATCH] run-with-locales: Suppress shellcheck warnings about 'local'

Gbp-Dch: ignore
---
 debian/run-with-locales | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/run-with-locales b/debian/run-with-locales
index 02e5adbf0e..8f4aa0208e 100755
--- a/debian/run-with-locales
+++ b/debian/run-with-locales
@@ -28,6 +28,10 @@
 # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
 # IN THE SOFTWARE.
 
+# Assume a Debian Policy §10.4-compatible shell like dash or bash (with the
+# 'local' builtin)
+# shellcheck disable=SC2039
+
 set -eu
 
 me="$(basename "$0")"
-- 
2.30.2